finitely generated group

有限生成群